#undef CONFIG_FEATURE_AWK_GNU_EXTENSIONS
